From 28e19080148146cf7cdb42cf7139e8ccfb29560a Mon Sep 17 00:00:00 2001 From: Chong Yidong Date: Fri, 7 Dec 2012 23:31:43 +0800 Subject: [PATCH] * info.el (Info-set-mode-line): Remove file extension from Info-current-file if there is one. --- lisp/ChangeLog | 5 +++++ lisp/info.el | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/lisp/ChangeLog b/lisp/ChangeLog index 77279235cf3..c75a1dfc8c4 100644 --- a/lisp/ChangeLog +++ b/lisp/ChangeLog @@ -1,3 +1,8 @@ +2012-12-07 Chong Yidong + + * info.el (Info-set-mode-line): Remove the file extension from + Info-current-file if there is one (Bug#13016). + 2012-12-07 Glenn Morris * mail/rmail.el (rmail-mime-decoded): New permanent local. diff --git a/lisp/info.el b/lisp/info.el index 6624c0d61b2..abceb73bea0 100644 --- a/lisp/info.el +++ b/lisp/info.el @@ -1668,7 +1668,9 @@ escaped (\\\",\\\\)." " (" (if (stringp Info-current-file) (replace-regexp-in-string - "%" "%%" (file-name-nondirectory Info-current-file)) + "%" "%%" + (file-name-sans-extension + (file-name-nondirectory Info-current-file))) (format "*%S*" Info-current-file)) ") " (if Info-current-node -- 2.30.2